Representing and Reasoning about Temporal Granularities

Representing and Reasoning about Temporal Granularities

In this paper, we propose a new logical approach to represent and to reason about different time granularities. We identify a time granularity as an infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we symbolically model sets of granularities by means of linear time logic formulas. Some real-worl...

Representing and reasoning about communicative conditional commitments

Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTL, which extends CTL with modalities to re...

Representing and Reasoning About Logical Network Topologies

Representing and Reasoning about Game Strategies

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language (GDL) and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics o...

Representing and Reasoning about Naive Physiology

In this paper we present first a multifunctional representation of naive physiology at various levels of abstraction and detail and second a method to reason with it. The reasoning approach we take is focused on how process behaviours can be combined to obtain the behaviour of more complex processes and on how to propagate the effect of introducing a modification throughout the model.